Skip to content

Dimension and Hilbert: handle zero ideal#105

Merged
mohabsafey merged 1 commit intoalgebraic-solving:mainfrom
rprebet:dimfix
Jun 18, 2025
Merged

Dimension and Hilbert: handle zero ideal#105
mohabsafey merged 1 commit intoalgebraic-solving:mainfrom
rprebet:dimfix

Conversation

@rprebet
Copy link
Contributor

@rprebet rprebet commented Jun 17, 2025

  • Fix a bug when the input Ideal is zero: the zero polynomial has no leading term.
  • Add corresponding tests.

Note:
I chose here to adapt the function to handle this case instead of dealing with these cases separately.
The purpose is to strengthen the tests on these functions, by testing limit cases.
Efficiently speaking I think the difference is negligible.

@mohabsafey
Copy link
Collaborator

Many thanks

@mohabsafey mohabsafey merged commit 2ce6b01 into algebraic-solving:main Jun 18, 2025
8 checks passed
@rprebet rprebet deleted the dimfix branch September 24, 2025 14:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants